$\forall$$A$, $B$:MsgA. ($A$ $\Vert\!+$ $B$) $\Rightarrow$ ($B$ $\Vert\!+$ $A$)